Theorem machine prove
[计] 定理机器证明
🧩 词语组成解析
prove
[pru:v]
vt. 证明，证实;[法]验证，检定;显示;
vi. 显示出，证明是;
🗣️ 情景例句
You need to complete some forms before the class.
上课之前你得填一些表格。
It's all my fault.
都是我的错。
In 1929, three years after his flight over the North Pole, the American explorer, R.E.Byrd, successfully flew over the South Pole for the first time.
美国探险家 R。伯德在飞越北极3年之后，于1929年第一次飞越了南极。